$\vdash$  $\forall$$P$:$\mathbb{P}$\{j\}. Dec($P$) $\Rightarrow$ Dec($\neg$$P$)